<html>
<head><meta charset="utf-8"><title>finding ICEs automatically · t-compiler/wg-incr-comp · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/241847-t-compiler/wg-incr-comp/index.html">t-compiler/wg-incr-comp</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/241847-t-compiler/wg-incr-comp/topic/finding.20ICEs.20automatically.html">finding ICEs automatically</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="230238909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/241847-t-compiler/wg-incr-comp/topic/finding%20ICEs%20automatically/near/230238909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matthiaskrgr <a href="https://rust-lang.github.io/zulip_archive/stream/241847-t-compiler/wg-incr-comp/topic/finding.20ICEs.20automatically.html#230238909">(Mar 14 2021 at 13:36)</a>:</h4>
<p>So I wondered if we could somehow automatically find incremental ices using the spaceheater approach (throwing cpu at the problem).<br>
So far I have been iterating through all commits of a repo and building them one by one, but we can also use clippy to modify the sources!<br>
So I came up with this command chain:</p>
<div class="codehilite"><pre><span></span><code>cargo build ; cargo clippy --all-targets --fix -Zunstable-options  --allow-dirty -- --cap-lints warn  -Wclippy::pedantic  ; cargo  build
</code></pre></div>
<p>We first build the crate, then apply clippy lint suggestions and build again to see if the incremental verification catches anything. :)</p>



<a name="230256496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/241847-t-compiler/wg-incr-comp/topic/finding%20ICEs%20automatically/near/230256496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bjorn3 <a href="https://rust-lang.github.io/zulip_archive/stream/241847-t-compiler/wg-incr-comp/topic/finding.20ICEs.20automatically.html#230256496">(Mar 14 2021 at 17:36)</a>:</h4>
<p>I believe there was a program to automatically run incr comp through all commits in a project. It was used when incr comp was still unstable.</p>



<a name="230354492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/241847-t-compiler/wg-incr-comp/topic/finding%20ICEs%20automatically/near/230354492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/241847-t-compiler/wg-incr-comp/topic/finding.20ICEs.20automatically.html#230354492">(Mar 15 2021 at 14:36)</a>:</h4>
<p>I think that was <a href="https://github.com/michaelwoerister/cargo-incremental">https://github.com/michaelwoerister/cargo-incremental</a></p>



<a name="230490626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/241847-t-compiler/wg-incr-comp/topic/finding%20ICEs%20automatically/near/230490626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/241847-t-compiler/wg-incr-comp/topic/finding.20ICEs.20automatically.html#230490626">(Mar 16 2021 at 10:39)</a>:</h4>
<p>Yeah, <a href="https://github.com/nikomatsakis/cargo-incremental">https://github.com/nikomatsakis/cargo-incremental</a> was what we actually used. It required a lot of maintenance because not every commit would build.</p>



<a name="230680681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/241847-t-compiler/wg-incr-comp/topic/finding%20ICEs%20automatically/near/230680681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/241847-t-compiler/wg-incr-comp/topic/finding.20ICEs.20automatically.html#230680681">(Mar 17 2021 at 12:23)</a>:</h4>
<p>startup idea: a globally-accessible database recording whether given commits are expected or unexpect to build. (potential features include: recording how may of each; what hosts (i.e. os+cpu) worked or didn’t; recording uploaded diffs against commits to “fix”  them) ...</p>



<a name="230680752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/241847-t-compiler/wg-incr-comp/topic/finding%20ICEs%20automatically/near/230680752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/241847-t-compiler/wg-incr-comp/topic/finding.20ICEs.20automatically.html#230680752">(Mar 17 2021 at 12:24)</a>:</h4>
<p>(I imagine <del>many</del> some search tools would benefit from knowing such info ahead of time.)</p>



<a name="230680908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/241847-t-compiler/wg-incr-comp/topic/finding%20ICEs%20automatically/near/230680908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/241847-t-compiler/wg-incr-comp/topic/finding.20ICEs.20automatically.html#230680908">(Mar 17 2021 at 12:25)</a>:</h4>
<p>(further next steps beyond that: make a proof-of-work currency based on the results, called “buildcoin”)</p>



<a name="230681155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/241847-t-compiler/wg-incr-comp/topic/finding%20ICEs%20automatically/near/230681155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/241847-t-compiler/wg-incr-comp/topic/finding.20ICEs.20automatically.html#230681155">(Mar 17 2021 at 12:27)</a>:</h4>
<p>((Last part is a joke: I know part of proof-of-work is ability to verify result, which is not tenable here))</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>